6. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
Author: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
803
7. A Survey of verification techniques for parallel programs
Author: Barringer, Howard, 1591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
Classification :
QA
76
.
L28
Vol
.
191
8. A code mapping scheme for dataflow software pipelining
Author: / by Guang R. gao,Gao
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer architecture,Parallel Processing (Electronic computing),Computer Software
Classification :
QA
76
.
9
.
A73G36
1991
9. A code mapping scheme for dataflow software pipelining
Author: / G.R. Gao
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer architecture,Parallel processing (Electronic Computers),Software computing
Classification :
QA76
.
9
.
A73G36
1991
10. A parallel pipeline computer architecture for speech processing
Author: / by Vassilios John Georgiou
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Speech proceseing systems,Parallel proceseing (Electronic computers)
Classification :
TK7882
.
S65G46
1984
11. A parallel pipeline computer architecture for speech processing
Author: Georgiou, Vassilios John
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Speech processing systems,، Parallel processing )Electronic computers(
Classification :
TK
7882
.
S65
.
G46
1984
12. A practical guide to XEN high availability :
Author: Sander van Vugt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer organization.,Parallel processing (Electronic computers),Virtual computer systems.
13. A survey of verification techniques for Parallel programs
Author: Barringer, Howard
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Parallel processing )Electronic computers(,Verification ، Computer programs
Classification :
QA
76
.
5
.
B29627
1985
14. A survey of verification techniques for parallel programs
Author: Barringer, Howard
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic Computers(,، Computer programs - Verification
Classification :
QA
76
.
5
.
B29627
1985
15. A survey of verification techniques for parallel programs
Author: Howard Barringer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
Classification :
QA76
.
5
H693
1985
16. ACM Turing Award lectures :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
Classification :
QA76
.
24
.
A33
1987
17. Adaptive processing of sequences and data structures : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997 : tutorial lectures
Author: C. Lee Giles, Marco Gori )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Neural networks )Computer science(,، Data structures )Computer science(,، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1387
18. Advanced Computational Electromagnetic Methods.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electromagnetism-- Computer simulation.,Electromagnetism-- Data processing.,Electricity & Magnetism.,Electromagnetism-- Computer simulation.,Electromagnetism-- Data processing.,Physical Sciences & Mathematics.,Physics.
Classification :
QC760
.
54
19. Advanced Parallel Processing Technologies
Author: / Chenggang Wu, Albert Cohen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
20. Advanced Parallel Processing Technologies
Author: / Yunji Chen, Paolo Ienne, Qing Ji
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK